/*
 * sanity1b.c
 *
 *  Created on: Jun 10, 2014
 *      Author: eran
 */


#include "types.h"
#include "stat.h"
#include "user.h"

int
main(int argc, char *argv[])
{
	char buf[100];
	int read;

	if(argc == 2)
		read = readlink(argv[1], buf, 100);
	printf(1, "Path size is: %d\nPath is: %s\n", read, buf);
	exit();
}
